Poster: CRAFTED: Code Reuse Analysis for Trusted and Effective Defense Ethan Johnson Tianqin Zhao John Criswell

Source URL: www.ieee-security.org

• Computer security
• Computing
• Compiler construction
• Computer programming
• Software engineering
• Return-oriented programming
• Control-flow integrity
• Code reuse
• Control flow graph
• Program analysis
• Data-flow analysis
• Cyberattack

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–82) PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS Ulrich Kohlenbach

Source URL: eta.impa.br

• Mathematics
• Structure
• Abstraction
• Computability theory
• Metric geometry
• Topology
• Proof theory
• Primitive recursive function
• Theory of computation
• Mathematical logic
• Metric space
• Proof mining

Stabilizing Floating-Point Programs Using Provenance Analysis Yijia Gu(B) and Thomas Wahl College of Computer and Information Science, Boston, USA {guyijia,wahl}@ccs.neu.edu

Source URL: www.ccs.neu.edu

• Operator theory
• Symbol
• Operator
• Computability theory

Impact Analysis on Farrell Encampment Sweeps Coalition on Homelessness, April/May 2018 The Coalition on Homelessness has been vigorously documenting the impact of the Farrell sweeps that commenced on Wednesday April 25 t

Source URL: www.cohsf.org

• Homelessness
• Housing
• Humanitarian aid
• Poverty
• Socioeconomics
• Tent city
• Homeless shelter
• Culture
• Economy
• Structure
• Homelessness in the San Francisco Bay Area
• Draft:Homes NOW Not Later

ICSM: Change Impact Analysis for AspectJ Programs

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Cross-cutting concern
• Subject-oriented programming
• Advice
• Aspect

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba Ölveczky

Source URL: scungao.github.io

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

Source URL: rjoshi.org

• Logic
• Mathematical logic
• Theoretical computer science
• FO
• Finite model theory
• Predicate transformer semantics
• Model theory
• Substitution

Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Source URL: www.microsoft.com

• Formal languages
• Tree
• Heap
• Binary tree
• Context-free grammar
• Computing
• Software engineering
• Mathematics
• Regular tree grammar

Robustness Analysis of String Transducers? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2?? , and Swarat Chaudhuri3 1 University of Texas at Austin 2

Source URL: www.cs.purdue.edu

• Finite automata
• Levenshtein distance
• Linguistics
• Theoretical computer science
• Finite-state transducer
• Mathematics
• Nested stack automaton

2016 Report on Angel Investing Activity in Canada An Analysis of Business

Source URL: silkstart.s3.amazonaws.com

• Finance
• Economy
• Money
• Venture capital
• Corporate finance
• Equity securities
• Investment
• Angel investor
• Deal flow
• Impact investing
• Keiretsu Forum